min(x1*x2*x3), x1+x2+x3 = 0, x1^2 +x2^2 +x3^2 = 1